#!/bin/bash -ex

git clone https://github.com/Z3Prover/z3
cd z3

# move to ctftools virtual env
set +e
source ${VIRTUALENVWRAPPER_SCRIPT}
workon ctftools
set -e

# install z3
python scripts/mk_make.py --python
cd build
make
make install

deactivate
